end of file mark - German English Dictionary